Tag
4 articles
OpenAI's GPT-5.6 Sol Pro reportedly disproved a 30-year-old statistics conjecture in just 90 minutes, a feat that stumped human researchers for decades.
Anthropic's Claude Mythos has reportedly solved OpenAI's landmark Erdős unit-distance conjecture with a 'cute, simple proof,' signaling a major advancement in AI-driven mathematical discovery.
An OpenAI model has solved the 80-year-old unit distance problem in discrete geometry, disproving a major conjecture and marking a significant milestone in AI-driven mathematics.
OpenAI claims to have solved a 75-year-old geometry conjecture using its advanced reasoning model, with mathematicians who previously doubted its work now backing the solution.
